A Re-Configurable Processor for Petri Net Simulation
نویسندگان
چکیده
Simulation of systems for the control of large numbers of objects such as traffic flows, network message traffic, etc is CPU intensive and may require inordinately long runs on conventional sequential processors. This work describes the Achilles reconfigurable processor and techniques for programming it to carry out Petri Net simulations. Achilles is an innovative 3-dimensional stack of FPGAs. The 3-D arrangement allows (a) a large number of FPGAs to fit in a small volume, (b) a large degree of flexibility in the way individual devices are interconnected, (c) interconnection with one or more hosts with host-Achilles bandwidth being scaled up to meet requirements and (d) individual stacks to be connected together in a wide variety of patterns so that the computing power of the stack may be scaled as necessary. Bandwidths between the stack and a PC host have been measured at over 30Mbytes/second in the first prototype of the stack: the interconnection is capable of transferring data at PCI bus speeds with the newer, faster FPGAs used in the second prototype currently under construction. This architecture is particularly suitable for Petri Net simulations as hundreds of places in a net can be simultaneously active reducing by orders of magnitude the time necessary for simulations.
منابع مشابه
A Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملUsing Colored Petri Nets for Configuring and Testing Business Processes
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indicators for the modelled processes. Reference process models offered for Protos reduce modelling efforts by providing generic solutions which only need to be adapted to individual requirements. However, the user can neit...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملModelling of Superscalar Processor Architectures with Design/CPN
We describe aspects of modelling a generic superscalar processor architecture using Coloured Petri nets, for the purpose of analysis of its real-time properties, such as Worst Case Execution Time for a block of instructions. The model can be simulated within the Design/CPN environment. The results of the simulation are displayed using a custom graphics tool written in Tcl/Tk.
متن کاملHierarchical Configurable Petri Net Modeling in VHDL
The paper presents method for hierarchical configurable Petri nets description in VHDL language. Dual model is an alternative way for behavioral description of the discrete control process. Dual model consists of two correlated models: UML state machine diagram and hierarchical configurable Petri net (HCfgPN). HCfgPN are Petri nets variant with direct support of exceptions handling mechanism. L...
متن کامل